2025-11-05 Ill-typed Programs Don't Evaluate